mcsta/modest mcsta resource-gathering.jani -E B=1300,GOLD_TO_COLLECT=100,GEM_TO_COLLECT=100 --props expsteps -O out.txt Minimal --unsafe --es -S Memory --no-partial-results --alg OptimisticValueIteration --epsilon 5e-2 --width 5e-2 --relative-width
resource-gathering.jani:model: info: resource-gathering is an MDP model.
resource-gathering.jani: info: Need 16 bytes per state.
resource-gathering.jani: info: Explored 958801 states for B=1300, GOLD_TO_COLLECT=100, GEM_TO_COLLECT=100.
resource-gathering.jani:properties[1]: warning: Computing minimum expected reward in property "expsteps" without checking for zero-reward end components.
Peak memory usage: 503 MB
Analysis results for resource-gathering.jani
Experiment B=1300, GOLD_TO_COLLECT=100, GEM_TO_COLLECT=100
+ State space exploration
State size: 16 bytes
States: 958801
Transitions: 3080401
Branches: 3325201
Rate: 248009 states/s
Time: 4.1 s
+ Property expsteps
Value: 1350.916044111767
Bounds: [1292.5924014365398, 1409.239686786994]
Time: 151.6 s
+ Precomputations
Max. prob. 1 states: 958801
Time for max. prob. 1 states: 104.4 s
+ Essential states
Iterations: 1
Essential states: 958801
Transitions: 3080401
Branches: 3325201
Time: 0.1 s
+ Optimistic value iteration
Total iterations: 659
Verif. attempts: 6
Verif. iterations: 96
Final epsilon: 0.000898472596585804
Time: 47.1 s
Exported results to file "/out.txt".